Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.org·15h
🔗Graph Isomorphism
An enough week
blog.mitrichev.ch·23h·
Discuss: blog.mitrichev.ch
📈Linear programming
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.com·9h
💎Information Crystallography
Complex networks-based anomaly detection for financial transactions in anti-money laundering
sciencedirect.com·2d
🧬PostgreSQL Forensics
Computational Complexity of Covering Two-vertex Multigraphs with Semi-edges
arxiv.org·1d
🎨Graph Coloring
Cactus Language • Semantics 3
inquiryintoinquiry.com·3h
🔢Denotational Semantics
Efficient and accurate search in petabase-scale sequence repositories
nature.com·2d·
Discuss: Hacker News
🔄Burrows-Wheeler
Linear Risk Sharing on Networks
freakonometrics.hypotheses.org·20h
🤝Consensus Networks
Estimating Fair Graphs from Graph-Stationary Data
arxiv.org·15h
🌈Spectral Methods
Categorical systems theory
topos.institute·7h
🔀Category Theory
Parameterized Complexity of s-Club Cluster Edge Deletion
arxiv.org·1d
🧮Kolmogorov Complexity
Randomized and quantum approximate matrix multiplication
arxiv.org·15h
🔐Quantum Cryptography
Neuro-Symbolic AI
en.wikipedia.org·4h·
Discuss: Hacker News
🔲Cellular Automata
When mathematics meets aesthetics: Tessellations as a precise tool for solving complex problems
phys.org·2h
📐Mathematical Art
An enough week
blog.mitrichev.ch·23h·
Discuss: blog.mitrichev.ch
🧮Z3 Solver
Experimenting with ACL2 and Claude Code
mikedodds.org·6h·
Discuss: Hacker News
👑Isabelle
Publishing my bachelor's thesis in applied mathematics
timktitarev.wordpress.com·2h·
Discuss: Hacker News
📐Linear Algebra
Ship Broken Things
matmul.net·23h·
Discuss: Hacker News
🔗Topological Sorting
Getting a Hypergraph of Functions to a Browser
systeminit.com·1d·
Discuss: Hacker News
📐E-graphs
Adaptive Predictive Maintenance of PLC-Controlled Conveyor Systems via Multi-Modal Data Fusion and Anomaly Scoring
dev.to·1d·
Discuss: DEV
🌊Stream Processing